Passively mobile communicating machines that use restricted space
نویسندگان
چکیده
منابع مشابه
Passively Mobile Communicating Logarithmic Space Machines
We propose a new theoretical model for passively mobile Wireless Sensor Networks. We call it the PALOMA model, standing for PAssively mobile LOgarithmic space MAchines. The main modification w.r.t. the Population Protocol model [2] is that agents now, instead of being automata, are Turing Machines whose memory is logarithmic in the population size n. Note that the new model is still easily impl...
متن کاملCommunicating Mobile Nano-Machines and Their Computational Power
A computational model of molecularly communicating mobile nanomachines is defined. Nanomachines are modeled by a variant of finite-state automata—so-called timed probabilistic automata— augmented by a severely restricted communication mechanism capturing the main features of molecular communication. We show that for molecular communication among such motile machines an asynchronous stochastic p...
متن کاملCommunicating B Machines
This paper describes a way of using the process algebra CSP to enable controlled interaction between concurrent B machines This approach supports compositional veri cation each of the controlled ma chines and the combination of controller processes can be analysed and veri ed separately in such a way as to guarantee correctness of the com bined communicating system Reasoning about controlled ma...
متن کاملCommunicating Hierarchical State Machines
Hierarchical state machines are nite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very little is known concerning their complexity and expressiveness. In this paper, we study these questions for hierarchical state machines as well as for communicating hierarchical state machines, that is, nite state machin...
متن کاملContinuous space language models using restricted Boltzmann machines
We present a novel approach for continuous space language models in statistical machine translation by using Restricted Boltzmann Machines (RBMs). The probability of an n-gram is calculated by the free energy of the RBM instead of a feedforward neural net. Therefore, the calculation is much faster and can be integrated into the translation process instead of using the language model only in a r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2011
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.07.001